Nuprl Definition : ma-da
11,40
postcript
pdf
M
.da(
a
) == (
M
.2).1(
a
)?Top
latex
clarification:
M
.da(
a
) == fpf-cap((
M
.2).1;KindDeq;
a
;Top)
latex
Definitions
Top
,
KindDeq
,
t
.2
,
t
.1
,
f
(
x
)?
z
FDL editor aliases
ma-da
origin